Энциклопедия Брокгауза и Ефрона - логика

(от logoV разум, слово, мышление) - по мнению одних ? наука о доказательстве, по мнению других ? наука о законах и формах мышления. Чтобы познать сущность Л. и ее задачи, следует обратиться к истории. I. Л. есть продукт греческого ума. Признавать здесь первенство индусов нет серьезных оснований. Творцом Л. считается, по справедливости, Аристотель, хотя в греческой философии, в особенности у Сократа и Платона, и раньше были затронуты некоторые логические вопросы. Диалектика элеатов, учение софистов, опровержение их Сократом и Платоном дали богатый материал, из которого Аристотель мог создать свое дивное логическое построение. Его "Органон" состоит из пяти сочинений: категорий, учения об истолковании, двух аналитик, топики и софистических доказательств. Категории отчасти соответствуют той части Л., которую теперь называют учением о понятиях, в сочинении об истолковании излагается учение о суждениях, в аналитиках - учение о силлогизме и о научном доказательстве, в топике, наиболее устаревшем из всех логических сочинений Аристотеля, - о диалектических доказательствах и вероятных заключениях, наконец, в софистических доказательствах приводятся примеры ложных умозаключений и показаны пути, как избавиться от софистических ошибок. Важнейшая заслуга Аристотеля и в то же самое время наиболее самостоятельная его работа состоит в разъяснении различных видов силлогизма и в анализе различных способов научного доказательства. Аристотеля обыкновенно считают творцом того логического направления, которое называется формальным и занимается анализом понятий, суждений и умозаключений, рассматривая их совершенно независимо от самого содержания понятий и суждений. Возможность такого отвлеченного рассмотрения заключается, по-видимому, в том, что во всяком познании можно различить два момента: материальный (то, что мыслится) и формальный (как оно мыслится), и эти моменты в известной степени отделимы друг от друга. История Л. есть в значительной степени история формального логического направления, тем не менее несправедливо упрекать Аристотеля в формализме. Отделения содержания от формы мысли в том виде, в котором мы его встречаем позднее, по преимуществу в средневековой Л., у Аристотеля еще нет, поэтому можно только утверждать, что формальная Л. вышла из Аристотелевской, но нельзя говорить, что Аристотель есть творец формальной Л. Послеаристотелевская греческая Л. не имеет большого значения. Стоики пополнили силлогистику учением об условном и разделительном умозаключении и положили основание учению о восприятии как элементе познания, но эти труды не получили в истории значения и дальнейшего развития. В средневековой схоластической философии, в которой бедность реального содержания искупалась строгостью логических форм, Л. стала формальным учением о понятии, суждении и умозаключении, причем силлогизм признан единственной формой научного доказательства. Типичный учебник средневековой Л. - "Summulae" Петра Испанского. Связь логических вопросов с общефилософскими, гносеологическими выразилась в знаменитой борьбе двух направлений - реализма и номинализма, состоящей в выяснении того значения, которое следует давать общим понятиям, т. е. субъективны ли они или же имеют и объективное бытие, как учил Платон. Самая оригинальная попытка реформы логики в средние века принадлежит Раймунду Люллию (1234 - 1315), но так как она не относится к формальному направлению, то о ней будет сказано ниже. Под влиянием эпохи Возрождения и постепенного накопления реального знания, формальная Л. подверглась различным видоизменениям, но как школьный учебный предмет она существует и до настоящего времени и в XIX стол. достигла своего полного развития в послекантовой философии, а именно в школе Гербарта, который считает Л. наукой выяснения понятий и их сочетаний в суждениях и умозаключениях. Гербарт совершенно отделяет Л. от философии и не рассматривает в Л. значения различных форм мышления. Завершение формального направления мы имеем в так назыв. математической Л., созданной англичанами, которую иногда считают особым логическим направлением, хотя по существу это та же формальная Л. Бентам и Гамильтон считаются ее творцами, де Моран, Буль и Джевонс более или менее тесно примыкают к этому направлению. Сущность его состоит в учении о квантификации предиката, вследствие которой суждение принимает характер уравнения - а это ведет к некоторым упрощениям и видоизменениям форм умозаключения. В каждом суждении мы различаем всегда его количество (т. е. оно бывает общим, частным и единичным) и качество (т. е. оно бывает утвердительным и отрицательным). Но количественный элемент обыкновенно относится в суждении к одному только подлежащему, в сказуемом же остается некоторая неопределенность в количественном отношении, если устранить эту неопределенность, то все суждения будут представлять собой такие отношения подлежащего к сказуемому, которые могут быть выражены совершенно точно, благодаря этому можно придать простейшую форму всем выводам, руководствуясь законом тождества и противоречия. За математической Л. следует признать заслугу сведения всех выводов к закону тождества и противоречия, но крайность этого направления не позволяла ему понять и описать многообразие всех выводов и их характерных особенностей. Этот недостаток устранен в классическом сочинении М. И. Каринского: "Классификация выводов" (СПб., 1880). II. Когда интерес к реальному знанию возрос, когда люди стали изучать природу и себя самих не по книгам только, а по живой действительности, тогда схоластическая Л. оказалась неудовлетворительной в двояком, главным образом, отношении: во-первых, она, по-видимому, не давала никаких средств для изучения природы, во-вторых, рассматривая лишь готовое знание в форме понятий. суждений и умозаключений, она не беспокоилась о том, откуда берутся познания человека и в каком отношении стоят они к реальному бытию. Л. доказательства должна была, поэтому, уступить место Л. открытия истины, а формальное изучение мыс